Optimal. Leaf size=191 \[ -\frac {b d^3 n}{4 x^2}-\frac {3 b d e^2 n x^{-2 (1-r)}}{4 (1-r)^2}-\frac {3 b d^2 e n x^{-2+r}}{(2-r)^2}-\frac {b e^3 n x^{-2+3 r}}{(2-3 r)^2}-\frac {d^3 \left (a+b \log \left (c x^n\right )\right )}{2 x^2}-\frac {3 d e^2 x^{-2 (1-r)} \left (a+b \log \left (c x^n\right )\right )}{2 (1-r)}-\frac {3 d^2 e x^{-2+r} \left (a+b \log \left (c x^n\right )\right )}{2-r}-\frac {e^3 x^{-2+3 r} \left (a+b \log \left (c x^n\right )\right )}{2-3 r} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.26, antiderivative size = 191, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.174, Rules used = {276, 2372, 12,
14} \begin {gather*} -\frac {d^3 \left (a+b \log \left (c x^n\right )\right )}{2 x^2}-\frac {3 d^2 e x^{r-2} \left (a+b \log \left (c x^n\right )\right )}{2-r}-\frac {3 d e^2 x^{-2 (1-r)} \left (a+b \log \left (c x^n\right )\right )}{2 (1-r)}-\frac {e^3 x^{3 r-2} \left (a+b \log \left (c x^n\right )\right )}{2-3 r}-\frac {b d^3 n}{4 x^2}-\frac {3 b d^2 e n x^{r-2}}{(2-r)^2}-\frac {3 b d e^2 n x^{-2 (1-r)}}{4 (1-r)^2}-\frac {b e^3 n x^{3 r-2}}{(2-3 r)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rule 276
Rule 2372
Rubi steps
\begin {align*} \int \frac {\left (d+e x^r\right )^3 \left (a+b \log \left (c x^n\right )\right )}{x^3} \, dx &=-\frac {1}{2} \left (\frac {d^3}{x^2}+\frac {3 d e^2 x^{-2 (1-r)}}{1-r}+\frac {6 d^2 e x^{-2+r}}{2-r}+\frac {2 e^3 x^{-2+3 r}}{2-3 r}\right ) \left (a+b \log \left (c x^n\right )\right )-(b n) \int \frac {-d^3+\frac {6 d^2 e x^r}{-2+r}+\frac {3 d e^2 x^{2 r}}{-1+r}+\frac {2 e^3 x^{3 r}}{-2+3 r}}{2 x^3} \, dx\\ &=-\frac {1}{2} \left (\frac {d^3}{x^2}+\frac {3 d e^2 x^{-2 (1-r)}}{1-r}+\frac {6 d^2 e x^{-2+r}}{2-r}+\frac {2 e^3 x^{-2+3 r}}{2-3 r}\right ) \left (a+b \log \left (c x^n\right )\right )-\frac {1}{2} (b n) \int \frac {-d^3+\frac {6 d^2 e x^r}{-2+r}+\frac {3 d e^2 x^{2 r}}{-1+r}+\frac {2 e^3 x^{3 r}}{-2+3 r}}{x^3} \, dx\\ &=-\frac {1}{2} \left (\frac {d^3}{x^2}+\frac {3 d e^2 x^{-2 (1-r)}}{1-r}+\frac {6 d^2 e x^{-2+r}}{2-r}+\frac {2 e^3 x^{-2+3 r}}{2-3 r}\right ) \left (a+b \log \left (c x^n\right )\right )-\frac {1}{2} (b n) \int \left (-\frac {d^3}{x^3}+\frac {6 d^2 e x^{-3+r}}{-2+r}+\frac {2 e^3 x^{3 (-1+r)}}{-2+3 r}+\frac {3 d e^2 x^{-3+2 r}}{-1+r}\right ) \, dx\\ &=-\frac {b d^3 n}{4 x^2}-\frac {3 b d e^2 n x^{-2 (1-r)}}{4 (1-r)^2}-\frac {3 b d^2 e n x^{-2+r}}{(2-r)^2}-\frac {b e^3 n x^{-2+3 r}}{(2-3 r)^2}-\frac {1}{2} \left (\frac {d^3}{x^2}+\frac {3 d e^2 x^{-2 (1-r)}}{1-r}+\frac {6 d^2 e x^{-2+r}}{2-r}+\frac {2 e^3 x^{-2+3 r}}{2-3 r}\right ) \left (a+b \log \left (c x^n\right )\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.16, size = 160, normalized size = 0.84 \begin {gather*} \frac {-2 b d^3 n \log (x)-d^3 \left (2 a+b n-2 b n \log (x)+2 b \log \left (c x^n\right )\right )+\frac {12 d^2 e x^r \left (-b n+a (-2+r)+b (-2+r) \log \left (c x^n\right )\right )}{(-2+r)^2}+\frac {3 d e^2 x^{2 r} \left (-b n+2 a (-1+r)+2 b (-1+r) \log \left (c x^n\right )\right )}{(-1+r)^2}+\frac {4 e^3 x^{3 r} \left (-b n+a (-2+3 r)+b (-2+3 r) \log \left (c x^n\right )\right )}{(2-3 r)^2}}{4 x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.32, size = 4027, normalized size = 21.08
method | result | size |
risch | \(\text {Expression too large to display}\) | \(4027\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 844 vs.
\(2 (172) = 344\).
time = 0.35, size = 844, normalized size = 4.42 \begin {gather*} -\frac {9 \, {\left (b d^{3} n + 2 \, a d^{3}\right )} r^{6} - 66 \, {\left (b d^{3} n + 2 \, a d^{3}\right )} r^{5} + 16 \, b d^{3} n + 193 \, {\left (b d^{3} n + 2 \, a d^{3}\right )} r^{4} + 32 \, a d^{3} - 288 \, {\left (b d^{3} n + 2 \, a d^{3}\right )} r^{3} + 232 \, {\left (b d^{3} n + 2 \, a d^{3}\right )} r^{2} - 96 \, {\left (b d^{3} n + 2 \, a d^{3}\right )} r - 4 \, {\left ({\left (3 \, b r^{5} - 20 \, b r^{4} + 51 \, b r^{3} - 62 \, b r^{2} + 36 \, b r - 8 \, b\right )} e^{3} \log \left (c\right ) + {\left (3 \, b n r^{5} - 20 \, b n r^{4} + 51 \, b n r^{3} - 62 \, b n r^{2} + 36 \, b n r - 8 \, b n\right )} e^{3} \log \left (x\right ) + {\left (3 \, a r^{5} - {\left (b n + 20 \, a\right )} r^{4} + 3 \, {\left (2 \, b n + 17 \, a\right )} r^{3} - {\left (13 \, b n + 62 \, a\right )} r^{2} - 4 \, b n + 12 \, {\left (b n + 3 \, a\right )} r - 8 \, a\right )} e^{3}\right )} x^{3 \, r} - 3 \, {\left (2 \, {\left (9 \, b d r^{5} - 57 \, b d r^{4} + 136 \, b d r^{3} - 152 \, b d r^{2} + 80 \, b d r - 16 \, b d\right )} e^{2} \log \left (c\right ) + 2 \, {\left (9 \, b d n r^{5} - 57 \, b d n r^{4} + 136 \, b d n r^{3} - 152 \, b d n r^{2} + 80 \, b d n r - 16 \, b d n\right )} e^{2} \log \left (x\right ) + {\left (18 \, a d r^{5} - 3 \, {\left (3 \, b d n + 38 \, a d\right )} r^{4} + 16 \, {\left (3 \, b d n + 17 \, a d\right )} r^{3} - 16 \, b d n - 8 \, {\left (11 \, b d n + 38 \, a d\right )} r^{2} - 32 \, a d + 32 \, {\left (2 \, b d n + 5 \, a d\right )} r\right )} e^{2}\right )} x^{2 \, r} - 12 \, {\left ({\left (9 \, b d^{2} r^{5} - 48 \, b d^{2} r^{4} + 97 \, b d^{2} r^{3} - 94 \, b d^{2} r^{2} + 44 \, b d^{2} r - 8 \, b d^{2}\right )} e \log \left (c\right ) + {\left (9 \, b d^{2} n r^{5} - 48 \, b d^{2} n r^{4} + 97 \, b d^{2} n r^{3} - 94 \, b d^{2} n r^{2} + 44 \, b d^{2} n r - 8 \, b d^{2} n\right )} e \log \left (x\right ) + {\left (9 \, a d^{2} r^{5} - 3 \, {\left (3 \, b d^{2} n + 16 \, a d^{2}\right )} r^{4} - 4 \, b d^{2} n + {\left (30 \, b d^{2} n + 97 \, a d^{2}\right )} r^{3} - 8 \, a d^{2} - {\left (37 \, b d^{2} n + 94 \, a d^{2}\right )} r^{2} + 4 \, {\left (5 \, b d^{2} n + 11 \, a d^{2}\right )} r\right )} e\right )} x^{r} + 2 \, {\left (9 \, b d^{3} r^{6} - 66 \, b d^{3} r^{5} + 193 \, b d^{3} r^{4} - 288 \, b d^{3} r^{3} + 232 \, b d^{3} r^{2} - 96 \, b d^{3} r + 16 \, b d^{3}\right )} \log \left (c\right ) + 2 \, {\left (9 \, b d^{3} n r^{6} - 66 \, b d^{3} n r^{5} + 193 \, b d^{3} n r^{4} - 288 \, b d^{3} n r^{3} + 232 \, b d^{3} n r^{2} - 96 \, b d^{3} n r + 16 \, b d^{3} n\right )} \log \left (x\right )}{4 \, {\left (9 \, r^{6} - 66 \, r^{5} + 193 \, r^{4} - 288 \, r^{3} + 232 \, r^{2} - 96 \, r + 16\right )} x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 75.88, size = 338, normalized size = 1.77 \begin {gather*} - \frac {a d^{3}}{2 x^{2}} + 3 a d^{2} e \left (\begin {cases} \frac {x^{r}}{r x^{2} - 2 x^{2}} & \text {for}\: r \neq 2 \\\log {\left (x \right )} & \text {otherwise} \end {cases}\right ) + 3 a d e^{2} \left (\begin {cases} \frac {x^{2 r}}{2 r x^{2} - 2 x^{2}} & \text {for}\: r \neq 1 \\\log {\left (x \right )} & \text {otherwise} \end {cases}\right ) + a e^{3} \left (\begin {cases} \frac {x^{3 r}}{3 r x^{2} - 2 x^{2}} & \text {for}\: r \neq \frac {2}{3} \\\log {\left (x \right )} & \text {otherwise} \end {cases}\right ) - \frac {b d^{3} n}{4 x^{2}} - \frac {b d^{3} \log {\left (c x^{n} \right )}}{2 x^{2}} - 3 b d^{2} e n \left (\begin {cases} \frac {\begin {cases} \frac {x^{r}}{r x^{2} - 2 x^{2}} & \text {for}\: r \neq 2 \\\log {\left (x \right )} & \text {otherwise} \end {cases}}{r - 2} & \text {for}\: r > -\infty \wedge r < \infty \wedge r \neq 2 \\\frac {\log {\left (x \right )}^{2}}{2} & \text {otherwise} \end {cases}\right ) + 3 b d^{2} e \left (\begin {cases} \frac {x^{r - 2}}{r - 2} & \text {for}\: r \neq 2 \\\log {\left (x \right )} & \text {otherwise} \end {cases}\right ) \log {\left (c x^{n} \right )} - 3 b d e^{2} n \left (\begin {cases} \frac {\begin {cases} \frac {x^{2 r}}{2 r x^{2} - 2 x^{2}} & \text {for}\: r \neq 1 \\\log {\left (x \right )} & \text {otherwise} \end {cases}}{2 r - 2} & \text {for}\: r > -\infty \wedge r < \infty \wedge r \neq 1 \\\frac {\log {\left (x \right )}^{2}}{2} & \text {otherwise} \end {cases}\right ) + 3 b d e^{2} \left (\begin {cases} \frac {x^{2 r - 2}}{2 r - 2} & \text {for}\: r \neq 1 \\\log {\left (x \right )} & \text {otherwise} \end {cases}\right ) \log {\left (c x^{n} \right )} - b e^{3} n \left (\begin {cases} \frac {\begin {cases} \frac {x^{3 r}}{3 r x^{2} - 2 x^{2}} & \text {for}\: r \neq \frac {2}{3} \\\log {\left (x \right )} & \text {otherwise} \end {cases}}{3 r - 2} & \text {for}\: r > -\infty \wedge r < \infty \wedge r \neq \frac {2}{3} \\\frac {\log {\left (x \right )}^{2}}{2} & \text {otherwise} \end {cases}\right ) + b e^{3} \left (\begin {cases} \frac {x^{3 r - 2}}{3 r - 2} & \text {for}\: r \neq \frac {2}{3} \\\log {\left (x \right )} & \text {otherwise} \end {cases}\right ) \log {\left (c x^{n} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\left (d+e\,x^r\right )}^3\,\left (a+b\,\ln \left (c\,x^n\right )\right )}{x^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________